简体版 繁體版 English 한국어
登録 ログイン
ツール

initial tableauの例文

例文モバイル版携帯版

  • In this case, the initial tableau is a single node labeled with the set to be proved satisfiable.